interface I permits A, B {}